Merge pull request #6453 from bluebrother/statistics-dsl-fix-titles
authorFlorian Eckert <[email protected]>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
committerGitHub <[email protected]>
Mon, 3 Jul 2023 06:39:52 +0000 (08:39 +0200)
Statistics: DSL: fix titles


Trivial merge